A ring isomorphism from <I>E</I> onto E</I>.